DLV-HEX: Dealing with Semantic Web under Answer-Set Programming

نویسندگان

  • Thomas Eiter
  • Giovambattista Ianni
  • Roman Schindlauer
  • Hans Tompits
چکیده

We present an implementation of HEX programs, which are nonmonotonic logic programs admitting higher-order atoms as well as external atoms. Higher-order features are widely acknowledged as useful for various tasks, including meta-reasoning. Furthermore, the possibility to exchange knowledge with external sources in a fully declarative framework such as answer-set programming (ASP) is nowadays important, in particular in view of applications in the Semantic-Web area. Through external atoms, HEX programs can deal with external knowledge and reasoners of various nature, such as RDF datasets or description-logic knowledge bases.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Integrazione Di Semantiche Multiple in Un Framework Con Semantica Answer Set Integration of Multiple Semantics in an Answer Set Framework 1

We briefly report on the development status of dlvhex, a reasoning engine for HEX-programs, which are nonmono-tonic logic programs with higher-order atoms and external atoms. Higher-order features are widely acknowledged as useful for various tasks and are essential in the context of meta-reasoning. Furthermore, the possibility to exchange knowledge with external sources in a fully declarative ...

متن کامل

dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework

We briefly report on the development status of dlvhex, a reasoning engine for HEX-programs, which are nonmonotonic logic programs with higher-order atoms and external atoms. Higherorder features are widely acknowledged as useful for various tasks and are essential in the context of meta-reasoning. Furthermore, the possibility to exchange knowledge with external sources in a fully declarative fr...

متن کامل

A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming

We introduce HEX programs, which are nonmonotonic logic programs admitting higher-order atoms as well as external atoms, and we extend the wellknown answer-set semantics to this class of programs. Higher-order features are widely acknowledged as useful for performing meta-reasoning, among other tasks. Furthermore, the possibility to exchange knowledge with external sources in a fully declarativ...

متن کامل

dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics!

We briefly report about the development status of dlvhex, a reasoning engine for HEX-programs, which are nonmonotonic logic programs featuring both higher-order atoms as well as external ones. Higher-order features are widely acknowledged as useful for various tasks and are essential in the context of meta-reasoning. Furthermore, the possibility to exchange knowledge with external sources in a ...

متن کامل

Efficiently Querying RDF(S) Ontologies with Answer Set Programming

Ontologies are pervading many areas of knowledge representation and management. To date, most research efforts have been spent on the development of sufficiently expressive languages for the representation and querying of ontologies; however, querying efficiency has received attention only recently, especially for ontologies referring to large amounts of data. In fact, it is still uncertain how...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005